| 1. Identificação | ||||
| Tipo de Referência | Artigo em Evento (Conference Proceedings) | |||
| Site | mtc-m16d.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP7W/3A5NDC5 | |||
| Repositório | sid.inpe.br/mtc-m19/2011/07.23.17.47 | |||
| Última Atualização | 2011:07.23.18.46.52 (UTC) administrator | |||
| Repositório de Metadados | sid.inpe.br/mtc-m19/2011/07.23.17.47.48 | |||
| Última Atualização dos Metadados | 2021:02.11.20.57.42 (UTC) administrator | |||
| ISSN | 2236-2606 | |||
| Chave de Citação | MoraisAmbr:2011:VaMoOp | |||
| Título | Validação dos modos de operação do satélite itasat-1 através de uma abordagem de melhoria da qualidade de requisitos baseada em modelos de estados  | |||
| Formato | CD-ROM | |||
| Projeto | Verificação e Validação de Sistemas Espaciais | |||
| Ano | 2011 | |||
| Data de Acesso | 05 maio 2024 | |||
| Tipo Secundário | PRE CN | |||
| Número de Arquivos | 1 | |||
| Tamanho | 295 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Morais, Marcelo Henrique Essado de 2 Ambrosio, Ana Maria | |||
| Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JGH7 | |||
| Grupo | 1 2 DSE-ETE-INPE-MCT-BR | |||
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Endereço de e-Mail do Autor | 1 marceloessado@gmail.com 2 ana@dss.inpe.br | |||
| Editor | Espaciais, Instituto Nacional de Pesquisas (INPE) | |||
| Endereço de e-Mail | marceloessado@gmail.com | |||
| Nome do Evento | Workshop em Engenharia e Tecnologia Espaciais, 2 (WETE). | |||
| Localização do Evento | INPE | |||
| Data | 03 e 04 de maio | |||
| Editora (Publisher) | Instituto Nacional de Pesquisas Espaciais | |||
| Cidade da Editora | São José dos Campos | |||
| Tipo Terciário | Artigo | |||
| Histórico (UTC) | 2011-07-23 18:46:53 :: marceloessado@gmail.com -> banon :: 2011 2011-08-01 15:19:37 :: banon -> administrator :: 2011 2021-02-11 20:57:42 :: administrator -> marceloessado@gmail.com :: 2011 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Palavras-Chave | refinamento de requisitos sistemas espaciais verificação e validação métodos formais | |||
| Resumo | Este trabalho apresenta a aplicação de uma abordagem para melhoria da qualidade de requisitos dos modos de operação de um satélite de pequeno porte. A abordagem de refinamento de requisitos, chamada de COFI-ref (Conformance and Fault Injection for Requirement Refinement) foi aplicada nos requisitos de missão do satélite ITASAT-1, o primeiro satélite universitário e tecnológico do Brasil. Esta abordagem é uma agregação à metodologia de geração automática de casos de teste e injeção de falhas conhecida como COFI (Conformance and Fault Insection). Este artigo busca, com a abordagem apresentada, mitigar problemas de requisitos incompletos definindo uma sistemática e garantindo consistência no refinamento dos requisitos. | |||
| Área | ETES | |||
| Arranjo 1 | urlib.net > BDMCI > Fonds > WETEs > 2º WETE > Validação dos modos... | |||
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGETE > 2º WETE > Validação dos modos... | |||
| Arranjo 3 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > Validação dos modos... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP7W/3A5NDC5 | |||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP7W/3A5NDC5 | |||
| Idioma | pt | |||
| Arquivo Alvo | 2WETE_MEssado_br_rev1.pdf | |||
| Grupo de Usuários | administrator marceloessado@gmail.com | |||
| Visibilidade | shown | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Vinculação | Trabalho Vinculado à Tese/Dissertação | |||
| Repositório Espelho | sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53 | |||
| Unidades Imediatamente Superiores | 8JMKD3MGP7W/3E9SLB5 8JMKD3MGPCW/446AUSL | |||
| Lista de Itens Citando | sid.inpe.br/mtc-m19/2013/06.12.14.47 4 sid.inpe.br/mtc-m21/2012/07.13.14.39.50 1 sid.inpe.br/bibdigital/2021/02.11.20.54 1 | |||
| Acervo Hospedeiro | sid.inpe.br/mtc-m19@80/2009/08.21.17.02 | |||
| 6. Notas | ||||
| Campos Vazios | archivingpolicy archivist booktitle callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi edition isbn label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress readergroup readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject type url versiontype volume | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | marceloessado@gmail.com | |||
| atualizar | ||||